analysis of sequential logic circuits